Verifiability and Falsifiability as Parameters for Scientific Methodology

Methodology and Verifiability in Montague Grammar

Nethodological problems in Men[ague Grammar are discussed. Our observations show that a model-theoretic approach to natural language semantics is inadequate with respect to i t s v e r i f i a b i l i t y from logical point of view. But, the formal a t t i tudes seem to be of use for the development in computational

Software Writers' Workshops as Scientific Methodology

pieces of literature. A pattern is a configuration or solution to a problem in the design and/or implementation of software that is repeatedly found, though almost always in slightly different form depending on the circumstances. A pattern then is not a programming language construct or an idiom, though in some cases it might be possible to generalize a pattern that way. Many software systems a...

technical and legal parameters for determination of river boundary,( case study haraz river)

چکیده با توسعه شهر نشینی و دخل و تصرف غیر مجاز در حریم رودخانه ها خسارات زیادی به رودخانه و محیط زیست اطراف آن وارده می شود. در حال حاضر بر اساس آئین نامه اصلاح شده بستر و حریم رودخانه ها، حریم کمی رودخانه که بلافاصله پس از بستر قرار می گیرد از 1 تا20 متر از منتهی الیه طرفین بستر رودخانه تعیین، که مقدار دقیق آن در هر بازه از رودخانه مشخص نیست. در کشورهای دیگر روشهای متفاوتی من جمله: درصد ریسک...

Universal Cast-as-Intended Verifiability

In electronic voting, we say that a protocol has cast-asintended verifiability if the contents of each encrypted vote can be audited in order to ensure that they match the voter’s selections. It is traditionally thought that this verification can only be performed by the voter who casts the vote, since only she knows the content of her vote. In this work, we show that this is not the case: we p...

A mathematical framework for falsifiability